Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
221	2013 Annual Conference on Advances in Cognitive Systems: Workshop on Goal Reasoning Breadth of Approaches to Goal Reasoning: A Research Survey Swaroop Vattam [removed] Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2014-05-07 15:00:29 Intelligent agent Reasoning system Automated planning and scheduling Goal-oriented Planner GOAL agent programming language 2APL Artificial intelligence Multi-agent systems Cognitive architecture
222	Efficiently Explaining Deterministic Exogenous Events in Partially Observable Environments Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-08-23 18:42:30 Reasoning Symbol Automated planning and scheduling Knowledge Abductive reasoning Charles Sanders Peirce Epistemology
223	Automated Extraction of Inductive Invariants to Aid Model Checking Michael L. Case Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-07-30 11:40:19 Logic Inductive reasoning Mathematical induction Model checking Connectivity Graph theory Structural induction Mathematics Mathematical logic Mathematical proofs
224	Autonomous Learning of Commonsense Simulations Benjamin Johnston and Mary-Anne Williams University of Technology, Sydney Ultimo, Sydney, New South Wales, Australia [removed] Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:15 Knowledge Computational physics Artificial intelligence Philosophy of science Automated theorem proving Method of analytic tableaux Simulation Algorithm Hypothesis Science Reasoning Cognition
225	Verifying space and time requirements for resource-bounded agents Natasha Alechina a Mark Jago a Piergiorgio Bertoli b Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Logical truth Reasoning Automated theorem proving Logic programming Substitution Inference Logic Mathematical logic Propositional calculus
226	Logic and Agent Programming Languages Natasha Alechina School of Computer Science University of Nottingham [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 16:53:25 2APL AgentSpeak Procedural reasoning system Belief–desire–intention model Reasoning system Intelligent agent Production system Automated planning and scheduling Logic programming Artificial intelligence Multi-agent systems Computing
227	Copyright by Joohyung Lee 2005 The Dissertation Committee for Joohyung Lee Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2008-02-26 15:26:45 Artificial intelligence Applied mathematics Logi Automated reasoning Mathematics Computer science Reasoning Jötnar Automated theorem proving
228	Journal of Automated Reasoning, 18, 297{[removed]) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Computing Circumscription Revisited: A Reduction Algorithm Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:57:57 Predicate logic Model theory Formal languages Circumscription Logic programming Atomic formula Function Monadic predicate calculus Predicate variable Logic Mathematical logic Mathematics
229	Link¨ oping Studies in Science and Technology Thesis No[removed]Deductive Planning and Composite Actions in Temporal Action Logic Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:50:50 Logic Reason Automated reasoning Planner Deductive reasoning Reasoning Science Knowledge
230	Laying a Foundation for Proving: Fostering Mathematical Curiosity, Sense Making, and Reasoning Eric Knuth University of Wisconsin Add to Reading List Source URL: www.northwestmathconf.org Language: English - Date: 2013-11-11 15:49:54 Theoretical computer science Proof theory Automated theorem proving Critical thinking Mathematical proof Proof Mathematics Logic Mathematical logic

UPDATE